portrait value questionnaire:questionnaire,instruction and scoring(persian version)

Portrait

Born in 1944, I grew up in a world in which polio was both a gripping fear and real threat. Then in a matter of a few years-polio was eradicated by a vaccine developed by Jonas Salk. Later I learned that Salk's efforts were built on pioneering work of many others, including John Enders, Thomas Weller and Frederick Robbins (Nobelists, 1954), and David Bodian, who pioneered studies of polio patho...

rokeach value survey (rvs): questionnaire, instruction and scoring (persian version)

0

Google Portrait

Implementing Open Call-by-Value (Extended Version)

The theory of the call-by-value λ-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required. Open call-by-value is the intermediate setting of weak evaluation with open terms, on top of which Grégoire and Leroy designed the abstract machine of Coq. This...

Open Call-by-Value (Extended Version)

The elegant theory of the call-by-value lambda-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required, and it is well known that the operational semantics of call-by-value becomes problematic in this case. Here we study the intermediate setting—that ...

Exemplar-Based Portrait Photograph Enhancement as Informed by Portrait Paintings

This paper proposes an approach to enhance the regional contrasts in snap-shot style portrait photographs by using pre-modern portrait paintings as aesthetic exemplars. The example portrait painting is selected based on a comparison of the existing contrast properties of the painting and the photograph. The contrast organization in the selected example painting is transferred to the photograph ...